5.28/6.20	unsat
