9.46/12.47	unsat
