22.33/26.22	unsat
