16.66/18.00	unsat
