4.93/7.84	unsat
