6.28/6.90	unsat
