10.27/12.59	unsat
