17.02/19.99	unsat
