17.28/17.85	unsat
