5.88/6.97	unsat
