12.07/12.37	unsat
