17.17/19.72	unsat
