217.97/220.42	unsat
