17.22/18.00	unsat
