25.57/25.66	unsat
