9.36/12.59	unsat
