22.94/26.13	unsat
