6.28/6.34	unsat
