4.79/4.84	unsat
