6.28/6.37	unsat
