17.49/18.75	unsat
