25.55/25.66	unsat
