6.28/6.38	unsat
