17.26/18.50	unsat
