12.37/12.47	unsat
