12.20/12.37	unsat
