25.33/29.30	unsat
