1.49/3.95	unsat
