17.18/17.36	unsat
