18.49/18.50	unsat
