18.37/18.50	unsat
