24.94/26.26	unsat
