16.96/17.99	unsat
