9.46/12.26	unsat
