5.12/6.37	unsat
