25.63/25.73	unsat
