2.51/3.84	unsat
