2.47/3.95	unsat
