25.32/26.18	unsat
