4.08/4.84	unsat
