25.35/25.43	unsat
