9.67/12.34	unsat
