5.28/6.23	unsat
