1.49/1.75	unsat
