22.99/26.22	unsat
