5.68/7.84	unsat
