25.88/25.96	unsat
