4.04/5.84	unsat
