2.47/4.75	unsat
