1.49/3.97	unsat
