6.28/6.32	unsat
