25.87/25.96	unsat
