4.68/5.84	unsat
