17.17/17.71	unsat
