17.17/17.85	unsat
