9.17/12.59	unsat
