4.68/4.84	unsat
