25.28/25.30	unsat
