5.08/7.84	unsat
