12.37/12.41	unsat
