17.15/17.86	unsat
