18.08/18.50	unsat
