25.14/25.24	unsat
