17.18/18.50	unsat
