19.83/22.88	unsat
