1.49/3.19	unsat
