5.14/7.84	unsat
