25.12/25.46	unsat
