5.88/6.84	unsat
