17.16/17.72	unsat
