9.77/10.40	unsat
