24.35/26.38	unsat
