17.97/22.08	unsat
