6.28/6.36	unsat
