6.28/6.61	unsat
