25.23/25.36	unsat
