14.66/17.85	unsat
