6.07/7.84	unsat
