12.26/12.37	unsat
