25.21/25.35	unsat
