32.79/34.94	unsat
