22.93/26.17	unsat
