9.77/12.59	unsat
