9.98/12.40	unsat
