25.29/25.37	unsat
