9.59/12.26	unsat
