32.19/35.24	unsat
