25.21/25.96	unsat
