1.49/3.89	unsat
