22.57/22.86	unsat
