16.24/17.99	unsat
