5.88/6.96	unsat
