25.32/25.49	unsat
